A General Semantics for Quantified Modal Logic
نویسندگان
چکیده
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every propositional modal logic S. If S is canonical our models are based on propositional frames that validate S. We employ frames in which not every set of worlds is an admissible proposition, and an alternative interpretation of the universal quantifier using greatest lower bounds in the lattice of admissible propositions. Our models have a fixed domain of individuals, even in the absence of the Barcan formula. For systems with the Barcan formula it is possible to preserve the usual Tarskian reading of the quantifier, at the expensive of sometimes losing validity of S in the underlying propositional frames. We apply our results to a number of logics, including S4.2, S4M and KW, whose quantified extensions are incomplete for the standard semantics.
منابع مشابه
The Semantics of Modal Predicate Logic I. Counterpart-Frames
We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...
متن کاملRepresenting Counterparts
This paper presents and motivates a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis’s notion of a ‘possibility.’ According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quantified modal logic based on evaluating formulae at possibili...
متن کاملCounterpart Semantics for Quantified Modal Logic
In this paper we deal with the semantics for quantified modal logic, QML in short, and their philosophical relevance. In the first part we introduce Kripke semantics for the first-order modal language L= with identity, then we consider some unsatisfactory features of this account from an actualist point of view. In addition, we show that the calculus QE .K + BF on free logic, with the Barcan fo...
متن کاملCounterpart Semantics at work: An Incompleteness Result in Quantified Modal Logic
In this paper we make use of counterpart semantics to prove an original incompleteness result in quantified modal logic (QML), that is, the system QE .K+BF based on free logic and containing the Barcan formula is incomplete with respect to Kripke semantics. This incompleteness result extends to the system QE .K+CBF+BF obtained by adding the converse of the Barcan formula to QE .K+BF .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006